-
1 computer logic unit tester
Military: CLUTУниверсальный русско-английский словарь > computer logic unit tester
-
2 Also known as the binary system, which is the basis of computer logic. Normal counting is based on 0-9. Binary just has 0-1, which means a new column is started after two, not nine. Binary counting does not go 1,2,3
General subject: base 2Универсальный русско-английский словарь > Also known as the binary system, which is the basis of computer logic. Normal counting is based on 0-9. Binary just has 0-1, which means a new column is started after two, not nine. Binary counting does not go 1,2,3
-
3 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
4 computer threat resolution logic
Англо-русский словарь промышленной и научной лексики > computer threat resolution logic
-
5 Structured Computer-Aided Logic Design
Abbreviation: SCALDУниверсальный русско-английский словарь > Structured Computer-Aided Logic Design
-
6 magnetic logic computer
Универсальный русско-английский словарь > magnetic logic computer
-
7 логика вычислительной машины
Русско-английский словарь по вычислительной технике и программированию > логика вычислительной машины
-
8 lógica del ordenador
• computer logic -
9 tietokonelogiikka
• computer logic -
10 računarska logika
• computer logic -
11 logika komputerowa
• computer logicSłownik polsko-angielski dla inżynierów > logika komputerowa
-
12 lógica de la computadora
• computer logic• logic of the computerDiccionario Técnico Español-Inglés > lógica de la computadora
-
13 логика вычислительной машины
Русско-английский большой базовый словарь > логика вычислительной машины
-
14 логические схемы вычислительной машины
Русско-английский большой базовый словарь > логические схемы вычислительной машины
-
15 логика ЭВМ
computer logic, machine logic -
16 логические схемы вычислительной машины
1) Information technology: computer logic, machine logic2) Automation: logic of computerУниверсальный русско-английский словарь > логические схемы вычислительной машины
-
17 логіка
-
18 машинный
1. mashine2. machineryмашинный слух; машинное восприятие звуков — machine hearing
3. computer basedмашинный код; система команд — computer code
4. computer generated5. computer-based6. computer-generated7. comtuter-generated8. engine9. machine; engineмашинный контроль; автоматический контроль — machine check
автоматизированный, машинный перевод — machine translation
10. mechanical -
19 вычислительная машина с программным управлением
1. sequence-controlled computer2. program-controlled computerРусско-английский большой базовый словарь > вычислительная машина с программным управлением
-
20 логика вычислительной машины
1) Mathematics: computer logic2) Automation: logic of computerУниверсальный русско-английский словарь > логика вычислительной машины
См. также в других словарях:
Sinclair Computer Logic — Der Sinclair Computer Logic ist der ASIC des Sinclair ZX81, welcher die beim Sinclair ZX80 noch aus 23 Chips aufgebaute Logik integriert. Im Gegensatz zum Handbuch wird der SCL im Faltblatt des Bausatzes auf dem Plan als Sinclair Logic IC… … Deutsch Wikipedia
Logic Pro — Développeur Apple Dernière version 9.1.4 ( … Wikipédia en Français
Logic Express — Logic Pro Logiciel de MAO distribué par la firme californienne Apple, Logic Pro est une longue évolution d un logiciel tournant sur Atari ST à la fin des années 1980. Sommaire 1 Historique 2 Notes et références 3 Voir aussi … Wikipédia en Français
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic gate — A logic gate is an idealized or physical device implementing a Boolean function, that is, it performs a logical operation on one or more logic inputs and produces a single logic output. Depending on the context, the term may refer to an ideal… … Wikipedia
Computer Pioneer Award — The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry.… … Wikipedia
Computer simulation — This article is about computer model within a scientific context. For artistic usage, see 3d modeling. For simulating a computer on a computer, see emulator. A 48 hour computer simulation of Typhoon Mawar using the Weather Research and… … Wikipedia
computer science — computer scientist. the science that deals with the theory and methods of processing information in digital computers, the design of computer hardware and software, and the applications of computers. [1970 75] * * * Study of computers, their… … Universalium
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia